Six Questions to Ask About Licensing and Pricing Flexible Licensing and Clear, Up Front Pricing When we were starting Gurobi we heard from many people about their frustrations with companies that not only make it hard to

Source URL: www.gurobi.com

• Numerical analysis
• Mathematical optimization
• Mathematical software
• Software
• Computer algebra systems
• Mathematical modeling
• Gurobi
• Numerical software
• AMPL
• Sol
• License manager
• Free software

First Joint Meeting Brazil Italy of Mathematics Special Session, S6: Comutative Algebra and its Iteractions Rio de Janeiro, August 29 - September 02, 2016 Title: Pruned cellular free resolutions of monomial ideals Author

Source URL: www.sbm.org.br

IDEALIZATION OF MODULES IN COMPUTER ALGEBRA MARTIN KREUZER AND LORENZO ROBBIANO Abstract. Based on an explicit description of the idealization of a graded submodule of a graded free module, we examine the behaviour of Gr

Source URL: www.symbcomp.fim.uni-passau.de

• Ring theory
• Algebras
• Linear algebra
• Graded ring
• Graded
• Resolution

The (λ, κ)-FN and the order theory of bases in boolean algebras David Milovich Texas A&M International University http://www.tamiu.edu/∼dmilovich/

Source URL: spot.colorado.edu

• Large cardinals
• Mathematical logic
• Mathematics
• Abstraction
• Cardinal number
• Free Boolean algebra
• Model theory
• Mahlo cardinal
• Weakly compact cardinal

Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning Ralf Jung David Swasey

Source URL: plv.mpi-sws.org

• Algebra
• Abstract algebra
• Mathematics
• Semigroup theory
• Monoid
• Monad
• Separation logic
• Invariant
• Modal logic
• Free monoid
• Syntactic monoid

Improving Strategies via SMT Solving Thomas Martin Gawlitza ∗ David Monniaux†

Source URL: www-verimag.imag.fr

• Algebra
• Mathematics
• Software engineering
• Predicate logic
• Abstract interpretation
• Galois connection
• Galois theory
• Order theory
• Linear map
• Free variables and bound variables
• Loop invariant
• Flow chart language

Feedback-Free Circuits in the Algebra of Transients Mihaela Gheorghiu and Janusz Brzozowski School of Computer Science, University of Waterloo, Waterloo, ON, Canada N2L 3G1 mgheorgh,brzozo @uwaterloo.ca

Source URL: maveric.uwaterloo.ca

A software framework for abstract expression of coordinate-free linear algebra and optimization algorithms ANTHONY D. PADULA and SHANNON D. SCOTT and WILLIAM W. SYMES Rice University

Source URL: trip.rice.edu

Journal of algebra–213 FREE RESOLUTIONS AND CHANGE OF RINGS Srikanth Iyengar Abstract. Projective resolutions of modules over a ring R are constructed starting from

Source URL: www.math.unl.edu

GAUSSIAN FIELDS Notes for Lectures Ofer Zeitouni Department of Mathematics Weizmann Institute, Rehovot 76100, Israel and

Source URL: www.wisdom.weizmann.ac.il

• Stochastic processes
• Algebra of random variables
• Hilbert space
• Estimation theory
• KarhunenLove theorem
• Signal processing
• Gaussian free field
• Multivariate random variable
• Reproducing kernel Hilbert space
• Covariance
• Normal distribution
• Gaussian function